| 翻訳と辞書 |
| Nels David Nelson ： ウィキペディア英語版 |
Nels David Nelson
(Nels) David Nelson, an American mathematician and logician, was born on January 2, 1918 in Cape Girardeau, Missouri. Upon graduation from the Ph.D. program at the University of Wisconsin- Madison, Nelson relocated to Washington, D.C. Nelson remained in Washington, D.C. as a Professor of Mathematics at The George Washington University until his death on August 22, 2003.
==Education==
David Nelson completed his undergraduate and graduate coursework at the University of Wisconsin - Madison in 1939 and 1940, respectively.() Nelson completed his Ph.D. at the University of Wisconsin-Madison in 1946. His dissertation, entitled "Recursive Functions and Intuitionistic Number Theory," served as the capstone project for his doctorate. Fellow mathematician Stephen Cole Kleene served as Nelson's doctoral advisor. Nelson, consequently, was Kleene's first doctoral student.()
According to the ''Association for Symbolic Logic'':
Nelson's research was in the area of intuitionistic logic and its connection with recursive function theory. He investigated the relationship, in intuitionistic formal systems, between a truth definition and the provability of formulas representing statements of number theory. Kleene had previously introduced the intuitionistic truth definition and arithmetized this truth notion in his definition of realizability of a formula by a number. As a consequence, they demonstrated that certain classically true formulas are unverifiable in the intuitionistic predicate calculus with strong negation.()
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Nels David Nelson」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|